The verification of temporal knowledge based systems - a case-study on power-systems
نویسندگان
چکیده
Designing KBS for dynamic environments requires the consideration of temporal knowledge reasoning and representation (TRR) issues. Although humans present a natural ability to deal with knowledge about time and events, the codification and use of such knowledge in information systems still pose many problems. Hence, the development of applications strongly based on temporal reasoning remains an hard and complex task. Furthermore, albeit the last significant developments in TRR area, there is still a considerable gap for its successful use in practical applications. This paper presents a tool, named VERITAS, developed for temporal KBS verification. It relies in the combination of formal methods and heuristics, in order to detect a large number of knowledge anomalies. The underlying verification process addresses many relevant aspects considered in real applications, like the usage of rule triggering selection mechanisms and temporal reasoning.
منابع مشابه
Energy and Exergo-Economic Assessments of Gas Turbine Based CHP Systems: A Case Study of SPGC Utility Plant
Combined heat and power systems are becoming more and more important, regarding their enhanced efficiency, energy saving, and environmental aspects. In the peresent study, three configurations of combined heat and power systems are intended as an alternative to separate production plant by considering environmental aspects. First and second laws of thermodynamics are adapted to the operatin...
متن کاملReachability checking in complex and concurrent software systems using intelligent search methods
Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...
متن کاملFormal Method in Service Composition in Heath Care Systems
One of the areas with greatest needs having available information at the right moment and with high accuracy is healthcare. Right information at right time saves lives. Healthcare is a vital domain which needs high processing power for high amounts of data. Due to the critical and the special characteristics of these systems, formal methods are used for specification, description and verificati...
متن کاملVerification & Validation of Power Systems Control Centres KBS
In last decades Knowledge Based System (KBS) became a common tool in a large number of Power Systems Control Centres (CC). In fact, the quantity, diversity and complexity of KBS increased significantly leading to important changes in KBS structure, especially in its nuclear components: knowledge representation and reasoning. The design of KBS applied in extremely dynamic environments demands th...
متن کامل